#!/bin/bash
echo OK;
echo "DONE"